Lambda abstraction algebras: representation theorems
نویسندگان
چکیده
منابع مشابه
Lambda Abstraction Algebras: Representation Theorems
Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. Like combinatory algebras they can be defined by true identities and thus form a variety in the sense of universal algebra, but they differ from combinatory algebras in several important respects. The most natural L...
متن کاملThe Lambda Library: Lambda Abstraction in C++
The Lambda Library (LL) adds a form of lambda abstraction to C++. The LL is implemented as a template library using standard C++; thus no language extensions or preprocessing is required. The LL consists of a rich set of tools for defining unnamed functions. Particularly, these unnamed functions work seamlessly with the STL algorithms. The LL offers significant improvements, in terms of general...
متن کاملCircularity and Lambda Abstraction
In this tribute to Doaitse Swierstra, we present the first transformation between lazy circular programs à la Bird and strict circular programs à la Pettorossi. Circular programs à la Bird rely on lazy recursive binding: they involve circular unknowns and make sense equationally. Circular programs à la Pettorossi rely on the inductive construction of functions and their eventual application: th...
متن کاملOn Monadic Quantale Algebras: Basic Properties and Representation Theorems
Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new s...
متن کاملThe variety of lambda abstraction algebras does not admit n-permutable congruences for all n
In this section we summarize deenitions and results concerning the lambda calculus and the theory of lambda abstraction algebras. Our main references will be 10] and 11] for lambda abstraction algebras and Barendregt's book 1] for lambda calculus. Lambda calculus. The untyped lambda calculus was introduced by Church as a foundation for logic. Although the appearance of paradoxes caused the prog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)00203-u